Is the Liar Sentence Both True and False?
نویسنده
چکیده
There are many reasons why one might be tempted to reject certain instances of the law of excluded middle. And it is initially natural to take reject to mean deny, that is, assert the negation of. But if we assert the negation of a disjunction, we certainly ought to assert the negation of each disjunct (since the disjunction is weaker1 than the disjuncts). So asserting ¬(A ∨ ¬A) should lead us to assert both ¬A and ¬¬A. But to assert both a sentence (¬A) and its negation is, in at least one sense of the phrase, to assert a contradiction. Accepting contradictions would be intolerable if contradictions implied everything: we would be logically committed to every imaginable absurdity. But there are "paraconsistent logics" where contradictions in the above sense (pairs consisting of B and ¬B, for some B) dont entail everything. It is not especially controversial that paraconsistent logics might be useful for certain purposes, e.g. analyzing certain notions of "relevant implication" and/or "what a possibly inconsistent theory should be taken as directly committed to". But Im interested in the issue of a particular kind of use, the one motivated above: a use of paraconsistent logic to license the simultaneous literal belief in both B and ¬B, in full knowledge that we believe both, and where such knowledge gives no pressure to revise one of the beliefs. In short, where the beliefs, though "contradicting" each other, are not in any serious sense in conflict. I will adapt Graham Priests term dialetheism for the doctrine that we should fully accept certain sentences while also accepting their negations. This is not quite Priests usage, as well see. Nonetheless, Priest is an advocate of dialetheism in this sense; in fact, its most prominent advocate. The argument with which I began shows that if we want to disbelieve instances of excluded middle (in the sense of, believe their negations) then we should be dialetheists (not merely that we should accept paraconsistent logics for some purposes). And as Priest has often urged (e.g. [12]), the most familiar arguments against the coherence of dialetheism are seriously faulty, a result of a refusal to take the doctrine seriously.
منابع مشابه
The simple liar without bivalence?
1. Background The Simple Liar is a sentence that says of itself only that it is false. The Strengthened Liar is a sentence that says of itself only that it is not true. How does the Strengthened Liar differ from its (allegedly) weaker brother, namely, the Simple Liar? According to standard thinking the Simple Liar, unlike the Strengthened Liar, yields inconsistency only if the following princip...
متن کاملUndeniably Paradoxical: Reply to Jacquette
Can we solve the Liar paradox by simply declaring Liar sentences to be false? That is the proposal of Dale Jacquette in (Jacquette, 2007). The Liar paradox arises because apparently we can derive a contradiction from the assumption that the Liar sentence is true, and we can also derive a contradiction from the assumption that it is false. Jacquette argues that the former reasoning (i.e., the de...
متن کاملTrue , false and paranormal
These projects reflect the core appearances that give rise to the Liar paradox (and its ilk). Semantic paradoxes arise, at least in part, from the appearance that we can ‘exhaustively characterize’ all sentences of our language in terms of ‘semantically significant’ predicates, and truly do as much in our language. Consider the classical picture according to which our semantically significant p...
متن کاملDialetheic truth theory: inconsistency, non-triviality, soundness, incompleteness
The best-known application of dialetheism is to semantic paradoxes such as the Liar. In particular, Graham Priest has advocated the adoption of an axiomatic truth theory in which contradictions arising from the Liar paradox can be accepted as theorems, while the Liar sentence itself is evaluated as being both true and false. Such eccentricities might be tolerated, in exchange for great rewards....
متن کاملEdited by
Self-reference is used to denote any situation in which someoneor something refers to itself. Self-reference is an important issuein philosophy, mathematics and computer science amongst oth-ers. In the philosophy of language the naive theory of truth hasbeen challenged by the Liar Paradox. The Liar Paradox is thecontradiction that emerges from trying to determine whether...
متن کاملFirst Degree Entailment, Symmetry and Paradox
Here is apuzzle,which I learned fromTerenceParsons inhis “TrueContradictions” [6]. First Degree Entailment (fde) is a logic which allows for truth value gaps as well as truth value gluts. If you are agnostic between assigning paradoxical sentences gaps and gluts (and there seems to be no very good reason to prefer gaps over gluts or gluts over gaps if you’re happy with fde), then this looks no ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003